heterogeneous algebra

[计] 异性代数